cylindric algebra

柱形代数